From cfef9ee342b754fce735ae973a93f8e0d1420108 Mon Sep 17 00:00:00 2001 From: =?utf8?q?St=C3=A9phane=20Glondu?= Date: Wed, 26 Mar 2025 08:39:51 +0100 Subject: [PATCH] Mark tests that actually require multicore Bug-Debian: https://bugs.debian.org/1101353 Forwarded: https://github.com/ocaml/ocaml/pull/13906 Gbp-Pq: Name 0008-Mark-tests-that-actually-require-multicore.patch --- ocamltest/builtin_actions.ml | 8 ++++++++ testsuite/tests/memory-model/forbidden.ml | 1 + testsuite/tests/memory-model/publish.ml | 1 + testsuite/tests/parallel/mctest.ml | 1 + testsuite/tests/parallel/pingpong.ml | 1 + 5 files changed, 12 insertions(+) diff --git a/ocamltest/builtin_actions.ml b/ocamltest/builtin_actions.ml index 0f06062f..c1b783bf 100644 --- a/ocamltest/builtin_actions.ml +++ b/ocamltest/builtin_actions.ml @@ -102,6 +102,13 @@ let hasstr = make "str library available" "str library not available") +let multicore = make + ~name:"multicore" + ~description:"Pass if running on multicore" + (Actions_helpers.pass_or_skip (Domain.recommended_domain_count () >= 2) + "running on multicore" + "not running on multicore") + let windows_OS = "Windows_NT" let get_OS () = Sys.safe_getenv "OS" @@ -367,6 +374,7 @@ let _ = hasunix; hassysthreads; hasstr; + multicore; libunix; libwin32unix; windows; diff --git a/testsuite/tests/memory-model/forbidden.ml b/testsuite/tests/memory-model/forbidden.ml index 676904c1..daf65e59 100644 --- a/testsuite/tests/memory-model/forbidden.ml +++ b/testsuite/tests/memory-model/forbidden.ml @@ -1,5 +1,6 @@ (* TEST modules = "opt.ml barrier.ml hist.ml shared.ml run.ml outcome.ml"; + multicore; not-bsd; no-tsan; (* tsan detects the intentional data races and fails *) { diff --git a/testsuite/tests/memory-model/publish.ml b/testsuite/tests/memory-model/publish.ml index a857c6cf..cd000ef6 100644 --- a/testsuite/tests/memory-model/publish.ml +++ b/testsuite/tests/memory-model/publish.ml @@ -1,5 +1,6 @@ (* TEST modules = "opt.ml barrier.ml hist.ml shared.ml run.ml outcome.ml"; + multicore; no-tsan; (* tsan detects data races and fails *) not-bsd; { diff --git a/testsuite/tests/parallel/mctest.ml b/testsuite/tests/parallel/mctest.ml index ea339e31..8e2c51f6 100644 --- a/testsuite/tests/parallel/mctest.ml +++ b/testsuite/tests/parallel/mctest.ml @@ -1,5 +1,6 @@ (* TEST include unix; + multicore; hasunix; { bytecode; diff --git a/testsuite/tests/parallel/pingpong.ml b/testsuite/tests/parallel/pingpong.ml index eb43734a..2508df5d 100644 --- a/testsuite/tests/parallel/pingpong.ml +++ b/testsuite/tests/parallel/pingpong.ml @@ -1,4 +1,5 @@ (* TEST + multicore; no-tsan; (* TSan detects the intentional data race *) { bytecode; -- 2.30.2